TelematiV1, Main, Exploration, bibRecord, 000867

Requirements and Solutions for Timing Analysis of Automotive Systems

Identifieur interne : 000867 ( Main/Exploration ); précédent : 000866; suivant : 000868

Requirements and Solutions for Timing Analysis of Automotive Systems

Auteurs : Saoussen Anssi [France] ; Sébastien Gérard [France] ; Arnaud Albinet [France] ; François Terrier [France]

Source :

Lecture Notes in Computer Science [ 0302-9743 ] ; 2011.

RBID : ISTEX:19120FA3BEA44B79651BF996D04653A2D41552AF

Abstract

Abstract: Automotive software systems are characterized by increasing complexity, tougher safety requirements and ever-tighter timing constraints. Recent industrial experience has indicated that timing verification and validation can help improving overall system quality and avoid costly design errors. In this paper, we discuss some crucial capabilities that need to be pro-vided by scheduling analysis tools to enable accurate timing analysis for automotive applications. We evaluate the extent to which two open-source analysis tools, MAST and Cheddar, meet these needs.

Url:

https://api.istex.fr/document/19120FA3BEA44B79651BF996D04653A2D41552AF/fulltext/pdf

DOI: 10.1007/978-3-642-21652-7_13

Affiliations:

Links toward previous steps (curation, corpus...)

to stream Istex, to step Corpus: 002010
to stream Istex, to step Curation: 002010
to stream Istex, to step Checkpoint: 000179
to stream Main, to step Merge: 000867
to stream Main, to step Curation: 000867

Le document en format XML

<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Requirements and Solutions for Timing Analysis of Automotive Systems</title>
<author><name sortKey="Anssi, Saoussen" sort="Anssi, Saoussen" uniqKey="Anssi S" first="Saoussen" last="Anssi">Saoussen Anssi</name>
</author>
<author><name sortKey="Gerard, Sebastien" sort="Gerard, Sebastien" uniqKey="Gerard S" first="Sébastien" last="Gérard">Sébastien Gérard</name>
</author>
<author><name sortKey="Albinet, Arnaud" sort="Albinet, Arnaud" uniqKey="Albinet A" first="Arnaud" last="Albinet">Arnaud Albinet</name>
</author>
<author><name sortKey="Terrier, Francois" sort="Terrier, Francois" uniqKey="Terrier F" first="François" last="Terrier">François Terrier</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:19120FA3BEA44B79651BF996D04653A2D41552AF</idno>
<date when="2011" year="2011">2011</date>
<idno type="doi">10.1007/978-3-642-21652-7_13</idno>
<idno type="url">https://api.istex.fr/document/19120FA3BEA44B79651BF996D04653A2D41552AF/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">002010</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002010</idno>
<idno type="wicri:Area/Istex/Curation">002010</idno>
<idno type="wicri:Area/Istex/Checkpoint">000179</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000179</idno>
<idno type="wicri:doubleKey">0302-9743:2011:Anssi S:requirements:and:solutions</idno>
<idno type="wicri:Area/Main/Merge">000867</idno>
<idno type="wicri:Area/Main/Curation">000867</idno>
<idno type="wicri:Area/Main/Exploration">000867</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Requirements and Solutions for Timing Analysis of Automotive Systems</title>
<author><name sortKey="Anssi, Saoussen" sort="Anssi, Saoussen" uniqKey="Anssi S" first="Saoussen" last="Anssi">Saoussen Anssi</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Continental Automotive France SAS, PowerTrain E IPP, 1 Avenue Paul Ourliac, BP 83649, 31036</wicri:regionArea>
<placeName><region type="region" nuts="2">Occitanie (région administrative)</region>
<region type="old region" nuts="2">Midi-Pyrénées</region>
</placeName>
</affiliation>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>CEA LIST, Laboratory of model driven engineering for embedded systems, Point Courrier 94, F-91191, Gif-sur-Yvette</wicri:regionArea>
<placeName><region type="region" nuts="2">Île-de-France</region>
<settlement type="city">Gif-sur-Yvette</settlement>
</placeName>
</affiliation>
<affiliation></affiliation>
</author>
<author><name sortKey="Gerard, Sebastien" sort="Gerard, Sebastien" uniqKey="Gerard S" first="Sébastien" last="Gérard">Sébastien Gérard</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Continental Automotive France SAS, PowerTrain E IPP, 1 Avenue Paul Ourliac, BP 83649, 31036</wicri:regionArea>
<placeName><region type="region" nuts="2">Occitanie (région administrative)</region>
<region type="old region" nuts="2">Midi-Pyrénées</region>
</placeName>
</affiliation>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>CEA LIST, Laboratory of model driven engineering for embedded systems, Point Courrier 94, F-91191, Gif-sur-Yvette</wicri:regionArea>
<placeName><region type="region" nuts="2">Île-de-France</region>
<settlement type="city">Gif-sur-Yvette</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Albinet, Arnaud" sort="Albinet, Arnaud" uniqKey="Albinet A" first="Arnaud" last="Albinet">Arnaud Albinet</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Continental Automotive France SAS, PowerTrain E IPP, 1 Avenue Paul Ourliac, BP 83649, 31036</wicri:regionArea>
<placeName><region type="region" nuts="2">Occitanie (région administrative)</region>
<region type="old region" nuts="2">Midi-Pyrénées</region>
</placeName>
</affiliation>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>CEA LIST, Laboratory of model driven engineering for embedded systems, Point Courrier 94, F-91191, Gif-sur-Yvette</wicri:regionArea>
<placeName><region type="region" nuts="2">Île-de-France</region>
<settlement type="city">Gif-sur-Yvette</settlement>
</placeName>
</affiliation>
<affiliation></affiliation>
</author>
<author><name sortKey="Terrier, Francois" sort="Terrier, Francois" uniqKey="Terrier F" first="François" last="Terrier">François Terrier</name>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>Continental Automotive France SAS, PowerTrain E IPP, 1 Avenue Paul Ourliac, BP 83649, 31036</wicri:regionArea>
<placeName><region type="region" nuts="2">Occitanie (région administrative)</region>
<region type="old region" nuts="2">Midi-Pyrénées</region>
</placeName>
</affiliation>
<affiliation wicri:level="3"><country xml:lang="fr">France</country>
<wicri:regionArea>CEA LIST, Laboratory of model driven engineering for embedded systems, Point Courrier 94, F-91191, Gif-sur-Yvette</wicri:regionArea>
<placeName><region type="region" nuts="2">Île-de-France</region>
<settlement type="city">Gif-sur-Yvette</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">France</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2011</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">19120FA3BEA44B79651BF996D04653A2D41552AF</idno>
<idno type="DOI">10.1007/978-3-642-21652-7_13</idno>
<idno type="ChapterID">13</idno>
<idno type="ChapterID">Chap13</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: Automotive software systems are characterized by increasing complexity, tougher safety requirements and ever-tighter timing constraints. Recent industrial experience has indicated that timing verification and validation can help improving overall system quality and avoid costly design errors. In this paper, we discuss some crucial capabilities that need to be pro-vided by scheduling analysis tools to enable accurate timing analysis for automotive applications. We evaluate the extent to which two open-source analysis tools, MAST and Cheddar, meet these needs.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Midi-Pyrénées</li>
<li>Occitanie (région administrative)</li>
<li>Île-de-France</li>
</region>
<settlement><li>Gif-sur-Yvette</li>
</settlement>
</list>
<tree><country name="France"><region name="Occitanie (région administrative)"><name sortKey="Anssi, Saoussen" sort="Anssi, Saoussen" uniqKey="Anssi S" first="Saoussen" last="Anssi">Saoussen Anssi</name>
</region>
<name sortKey="Albinet, Arnaud" sort="Albinet, Arnaud" uniqKey="Albinet A" first="Arnaud" last="Albinet">Arnaud Albinet</name>
<name sortKey="Albinet, Arnaud" sort="Albinet, Arnaud" uniqKey="Albinet A" first="Arnaud" last="Albinet">Arnaud Albinet</name>
<name sortKey="Anssi, Saoussen" sort="Anssi, Saoussen" uniqKey="Anssi S" first="Saoussen" last="Anssi">Saoussen Anssi</name>
<name sortKey="Gerard, Sebastien" sort="Gerard, Sebastien" uniqKey="Gerard S" first="Sébastien" last="Gérard">Sébastien Gérard</name>
<name sortKey="Gerard, Sebastien" sort="Gerard, Sebastien" uniqKey="Gerard S" first="Sébastien" last="Gérard">Sébastien Gérard</name>
<name sortKey="Gerard, Sebastien" sort="Gerard, Sebastien" uniqKey="Gerard S" first="Sébastien" last="Gérard">Sébastien Gérard</name>
<name sortKey="Terrier, Francois" sort="Terrier, Francois" uniqKey="Terrier F" first="François" last="Terrier">François Terrier</name>
<name sortKey="Terrier, Francois" sort="Terrier, Francois" uniqKey="Terrier F" first="François" last="Terrier">François Terrier</name>
<name sortKey="Terrier, Francois" sort="Terrier, Francois" uniqKey="Terrier F" first="François" last="Terrier">François Terrier</name>
</country>
</tree>
</affiliations>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Main/Exploration

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000867 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000867 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Main
   |étape=   Exploration
   |type=    RBID
   |clé=     ISTEX:19120FA3BEA44B79651BF996D04653A2D41552AF
   |texte=   Requirements and Solutions for Timing Analysis of Automotive Systems
}}

This area was generated with Dilib version V0.6.31.
Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024

	Serveur d'exploration sur la télématique
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la télématique

Requirements and Solutions for Timing Analysis of Automotive Systems

Requirements and Solutions for Timing Analysis of Automotive Systems

Source :

Abstract

Links toward previous steps (curation, corpus...)

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri